A nonempty subset U of a vector space V over a field F is a subspace of V if, for every u and u' in U and every a in F,
u + u' ∈ U and au ∈ U.
In words, a nonempty subset U of a vector space V over a field F is a subspace of V if it is closed under the two operations of V.